Articulation Sets Logic